import java.io.*;

class STD_OUTPUT_STREAM extends ANY
{

 public STD_OUTPUT_STREAM()
 {
 }
 
 public void STD_OUTPUT_STREAMINIT()
 {
 
 }
 
 public void STD_OUTPUT_STREAMPUT_INTEGER(INTEGER a)
 {
  System.out.print(a.get());
 }
 public void STD_OUTPUT_STREAMPUT_REAL(REAL a)
 {
  System.out.print(a.get());
 }
 public void STD_OUTPUT_STREAMPUT_CHARACTER(CHARACTER a)
 {
  System.out.print(a.get());
 }
 public void STD_OUTPUT_STREAMPUT_STRING(STRING a)
 {
  System.out.print(a.get());
 } 
}